An Experiment in Scientific Program Understanding
نویسنده
چکیده
This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code. This procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, and parsing this annotated code using multiple, independent expert parsers. These semantic parsers encode domain knowledge and recognize formulae in different disciplines including physics, numerical methods, mathematics, and geometry. The parsers will automatically recognize and document some static, semantic concepts and help locate some program semantic errors. Results are shown for three intensively studied codes and seven blind test cases; all test cases are state of the art scientific codes. These techniques may apply to a wider range of scientific codes. If so, the techniques could reduce the time, risk, and effort required to develop and modify scientific codes.
منابع مشابه
Reflection on academic activities at universities from the A perspective of Pierre Bourdieu
What title one can give to Pierre Bourdieu? Sociologist, theorist, activist, structuralist, functionalist, conservative and Such classifications rather than illuminating the dimensions of the scientific personality and the content of his research findings, hide most of them. The fact is that Bourdieu has tried to act as a dialectical relation of opinion and action. He, by criticizing the "hegem...
متن کاملThe effect of self care program education through group discussion method on knowledge and practice in diabetic adolescent girls referring to Iranian Diabetes Society
Introduction: Diabetes is a chronic illness which needs specific self care behaviors to the end of life. On the other hand, studies have shown that improvement in knowledge and practice of diabetic patients brings about improvement of metabolic status for which self care education specially with active method (active involvement of diabetic patients) is necessary. So, this study has been conduc...
متن کاملبررسی اثربخشی آموزش بر میزان آگاهی و نحوهی نگرش زنان یائسه در مورد علایم و عوارض یائسگی
Background and Objective: Identifying the complications of menopause and their related prevention method is necessary for every woman an important task that is achievable through health care educations. This study was conducted to determine the effectiveness of education on the knowledge and attitude of post-menopausal women about menopausal symptoms and complications. Materials and Methods: In...
متن کاملآموزش سواد اطلاعاتی به کودکان 7 تا 11 ساله ایرانی
Purpose: To develop instructional objectives for implementing an information literacy instruction program for Iranian children (7-11 years old) based on the information literacy standards of American Association of School Library (AASL). Methodology: In this research, the following methods were used: a literature review in order to extract the instructional objectives of information literacy b...
متن کاملHatred as a Moral and Ethical Conception in Russian Society
The present paper deals with the national specifics of the assessment aspect in the meaning of the words. A modern scientific paradigm considers the language as a cognitive tool of understanding the world and keeping and representing people’s experience and values which reflect the people’s vision of the world (“the world picture). Usually linguistics understands the language ...
متن کامل